<?php

##########################################################################################################
/* Comprobamos si se ha registrado la session para el usuario */ 
ob_start();
session_start();
if (!session_is_registered("user"))
{
	header("location:index.php");		
}
$user=$_SESSION['user'];
ob_end_flush();

?>
